home *** CD-ROM | disk | FTP | other *** search
open in:
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
Confidence | Program | Detection | Match Type | Support
|
---|
100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
99%
| dexvert
| Texinfo Document (document/texInfo)
| magic
| Supported |
1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
100%
| file
| TeX document text
| default
| |
99%
| file
| LaTeX document, ASCII text
| default
| |
100%
| checkBytes
| Printable ASCII
| default
| |
100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
100%
| siegfried
| x-fmt/111 Plain Text File
| default
| |
100%
| gt2
| Textdatei (UNIX)
| default
| |
100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 20 54 68 69 73 20 | 69 73 20 66 69 6c 65 20 |%% This |is file |
|00000010| 60 74 68 6d 62 2e 73 74 | 79 27 2c 20 67 65 6e 65 |`thmb.st|y', gene|
|00000020| 72 61 74 65 64 20 0a 25 | 25 20 6f 6e 20 3c 31 39 |rated .%|% on <19|
|00000030| 39 35 2f 31 2f 32 34 3e | 20 77 69 74 68 20 74 68 |95/1/24>| with th|
|00000040| 65 20 64 6f 63 73 74 72 | 69 70 20 75 74 69 6c 69 |e docstr|ip utili|
|00000050| 74 79 20 28 32 2e 32 69 | 29 2e 0a 25 25 20 54 68 |ty (2.2i|)..%% Th|
|00000060| 65 20 6f 72 69 67 69 6e | 61 6c 20 73 6f 75 72 63 |e origin|al sourc|
|00000070| 65 20 66 69 6c 65 73 20 | 77 65 72 65 3a 0a 25 25 |e files |were:.%%|
|00000080| 20 74 68 65 6f 72 65 6d | 2e 64 74 78 20 20 28 77 | theorem|.dtx (w|
|00000090| 69 74 68 20 6f 70 74 69 | 6f 6e 73 3a 20 60 74 68 |ith opti|ons: `th|
|000000a0| 6d 62 27 29 0a 25 25 20 | 49 4d 50 4f 52 54 41 4e |mb').%% |IMPORTAN|
|000000b0| 54 20 4e 4f 54 49 43 45 | 3a 20 0a 25 25 20 54 68 |T NOTICE|: .%% Th|
|000000c0| 69 73 20 66 69 6c 65 20 | 69 73 20 70 61 72 74 20 |is file |is part |
|000000d0| 6f 66 20 74 68 65 20 60 | 74 6f 6f 6c 73 27 20 62 |of the `|tools' b|
|000000e0| 75 6e 64 6c 65 20 0a 25 | 25 20 69 6e 20 74 68 65 |undle .%|% in the|
|000000f0| 20 4c 61 54 65 58 32 65 | 20 64 69 73 74 72 69 62 | LaTeX2e| distrib|
|00000100| 75 74 69 6f 6e 2e 20 0a | 25 25 20 59 6f 75 20 61 |ution. .|%% You a|
|00000110| 72 65 20 6e 6f 74 20 61 | 6c 6c 6f 77 65 64 20 74 |re not a|llowed t|
|00000120| 6f 20 64 69 73 74 72 69 | 62 75 74 65 20 74 68 69 |o distri|bute thi|
|00000130| 73 20 66 69 6c 65 2e 20 | 0a 25 25 20 46 6f 72 20 |s file. |.%% For |
|00000140| 64 69 73 74 72 69 62 75 | 74 69 6f 6e 20 6f 66 20 |distribu|tion of |
|00000150| 74 68 65 20 6f 72 69 67 | 69 6e 61 6c 20 73 6f 75 |the orig|inal sou|
|00000160| 72 63 65 20 73 65 65 20 | 0a 25 25 20 74 68 65 20 |rce see |.%% the |
|00000170| 63 6f 70 79 72 69 67 68 | 74 20 6e 6f 74 69 63 65 |copyrigh|t notice|
|00000180| 20 69 6e 20 74 68 65 20 | 73 6f 75 72 63 65 20 66 | in the |source f|
|00000190| 69 6c 65 2c 20 61 6e 64 | 20 0a 25 25 20 69 6e 20 |ile, and| .%% in |
|000001a0| 74 68 65 20 66 69 6c 65 | 20 72 65 61 64 6d 65 2e |the file| readme.|
|000001b0| 74 78 74 20 64 69 73 74 | 72 69 62 75 74 65 64 20 |txt dist|ributed |
|000001c0| 77 69 74 68 20 74 68 65 | 20 0a 25 25 20 74 6f 6f |with the| .%% too|
|000001d0| 6c 73 20 62 75 6e 64 6c | 65 2e 20 0a 5c 64 65 66 |ls bundl|e. .\def|
|000001e0| 5c 66 69 6c 65 76 65 72 | 73 69 6f 6e 7b 76 32 2e |\filever|sion{v2.|
|000001f0| 32 61 7d 0a 5c 64 65 66 | 5c 66 69 6c 65 64 61 74 |2a}.\def|\filedat|
|00000200| 65 7b 31 39 39 34 2f 30 | 32 2f 30 33 7d 0a 5c 64 |e{1994/0|2/03}.\d|
|00000210| 65 66 5c 64 6f 63 64 61 | 74 65 20 7b 31 39 39 34 |ef\docda|te {1994|
|00000220| 2f 30 32 2f 32 38 7d 0a | 25 25 20 5c 43 68 61 72 |/02/28}.|%% \Char|
|00000230| 61 63 74 65 72 54 61 62 | 6c 65 0a 25 25 20 20 7b |acterTab|le.%% {|
|00000240| 55 70 70 65 72 2d 63 61 | 73 65 20 20 20 20 5c 41 |Upper-ca|se \A|
|00000250| 5c 42 5c 43 5c 44 5c 45 | 5c 46 5c 47 5c 48 5c 49 |\B\C\D\E|\F\G\H\I|
|00000260| 5c 4a 5c 4b 5c 4c 5c 4d | 5c 4e 5c 4f 5c 50 5c 51 |\J\K\L\M|\N\O\P\Q|
|00000270| 5c 52 5c 53 5c 54 5c 55 | 5c 56 5c 57 5c 58 5c 59 |\R\S\T\U|\V\W\X\Y|
|00000280| 5c 5a 0a 25 25 20 20 20 | 4c 6f 77 65 72 2d 63 61 |\Z.%% |Lower-ca|
|00000290| 73 65 20 20 20 20 5c 61 | 5c 62 5c 63 5c 64 5c 65 |se \a|\b\c\d\e|
|000002a0| 5c 66 5c 67 5c 68 5c 69 | 5c 6a 5c 6b 5c 6c 5c 6d |\f\g\h\i|\j\k\l\m|
|000002b0| 5c 6e 5c 6f 5c 70 5c 71 | 5c 72 5c 73 5c 74 5c 75 |\n\o\p\q|\r\s\t\u|
|000002c0| 5c 76 5c 77 5c 78 5c 79 | 5c 7a 0a 25 25 20 20 20 |\v\w\x\y|\z.%% |
|000002d0| 44 69 67 69 74 73 20 20 | 20 20 20 20 20 20 5c 30 |Digits | \0|
|000002e0| 5c 31 5c 32 5c 33 5c 34 | 5c 35 5c 36 5c 37 5c 38 |\1\2\3\4|\5\6\7\8|
|000002f0| 5c 39 0a 25 25 20 20 20 | 45 78 63 6c 61 6d 61 74 |\9.%% |Exclamat|
|00000300| 69 6f 6e 20 20 20 5c 21 | 20 20 20 20 20 44 6f 75 |ion \!| Dou|
|00000310| 62 6c 65 20 71 75 6f 74 | 65 20 20 5c 22 20 20 20 |ble quot|e \" |
|00000320| 20 20 48 61 73 68 20 28 | 6e 75 6d 62 65 72 29 20 | Hash (|number) |
|00000330| 5c 23 0a 25 25 20 20 20 | 44 6f 6c 6c 61 72 20 20 |\#.%% |Dollar |
|00000340| 20 20 20 20 20 20 5c 24 | 20 20 20 20 20 50 65 72 | \$| Per|
|00000350| 63 65 6e 74 20 20 20 20 | 20 20 20 5c 25 20 20 20 |cent | \% |
|00000360| 20 20 41 6d 70 65 72 73 | 61 6e 64 20 20 20 20 20 | Ampers|and |
|00000370| 5c 26 0a 25 25 20 20 20 | 41 63 75 74 65 20 61 63 |\&.%% |Acute ac|
|00000380| 63 65 6e 74 20 20 5c 27 | 20 20 20 20 20 4c 65 66 |cent \'| Lef|
|00000390| 74 20 70 61 72 65 6e 20 | 20 20 20 5c 28 20 20 20 |t paren | \( |
|000003a0| 20 20 52 69 67 68 74 20 | 70 61 72 65 6e 20 20 20 | Right |paren |
|000003b0| 5c 29 0a 25 25 20 20 20 | 41 73 74 65 72 69 73 6b |\).%% |Asterisk|
|000003c0| 20 20 20 20 20 20 5c 2a | 20 20 20 20 20 50 6c 75 | \*| Plu|
|000003d0| 73 20 20 20 20 20 20 20 | 20 20 20 5c 2b 20 20 20 |s | \+ |
|000003e0| 20 20 43 6f 6d 6d 61 20 | 20 20 20 20 20 20 20 20 | Comma | |
|000003f0| 5c 2c 0a 25 25 20 20 20 | 4d 69 6e 75 73 20 20 20 |\,.%% |Minus |
|00000400| 20 20 20 20 20 20 5c 2d | 20 20 20 20 20 50 6f 69 | \-| Poi|
|00000410| 6e 74 20 20 20 20 20 20 | 20 20 20 5c 2e 20 20 20 |nt | \. |
|00000420| 20 20 53 6f 6c 69 64 75 | 73 20 20 20 20 20 20 20 | Solidu|s |
|00000430| 5c 2f 0a 25 25 20 20 20 | 43 6f 6c 6f 6e 20 20 20 |\/.%% |Colon |
|00000440| 20 20 20 20 20 20 5c 3a | 20 20 20 20 20 53 65 6d | \:| Sem|
|00000450| 69 63 6f 6c 6f 6e 20 20 | 20 20 20 5c 3b 20 20 20 |icolon | \; |
|00000460| 20 20 4c 65 73 73 20 74 | 68 61 6e 20 20 20 20 20 | Less t|han |
|00000470| 5c 3c 0a 25 25 20 20 20 | 45 71 75 61 6c 73 20 20 |\<.%% |Equals |
|00000480| 20 20 20 20 20 20 5c 3d | 20 20 20 20 20 47 72 65 | \=| Gre|
|00000490| 61 74 65 72 20 74 68 61 | 6e 20 20 5c 3e 20 20 20 |ater tha|n \> |
|000004a0| 20 20 51 75 65 73 74 69 | 6f 6e 20 6d 61 72 6b 20 | Questi|on mark |
|000004b0| 5c 3f 0a 25 25 20 20 20 | 43 6f 6d 6d 65 72 63 69 |\?.%% |Commerci|
|000004c0| 61 6c 20 61 74 20 5c 40 | 20 20 20 20 20 4c 65 66 |al at \@| Lef|
|000004d0| 74 20 62 72 61 63 6b 65 | 74 20 20 5c 5b 20 20 20 |t bracke|t \[ |
|000004e0| 20 20 42 61 63 6b 73 6c | 61 73 68 20 20 20 20 20 | Backsl|ash |
|000004f0| 5c 5c 0a 25 25 20 20 20 | 52 69 67 68 74 20 62 72 |\\.%% |Right br|
|00000500| 61 63 6b 65 74 20 5c 5d | 20 20 20 20 20 43 69 72 |acket \]| Cir|
|00000510| 63 75 6d 66 6c 65 78 20 | 20 20 20 5c 5e 20 20 20 |cumflex | \^ |
|00000520| 20 20 55 6e 64 65 72 73 | 63 6f 72 65 20 20 20 20 | Unders|core |
|00000530| 5c 5f 0a 25 25 20 20 20 | 47 72 61 76 65 20 61 63 |\_.%% |Grave ac|
|00000540| 63 65 6e 74 20 20 5c 60 | 20 20 20 20 20 4c 65 66 |cent \`| Lef|
|00000550| 74 20 62 72 61 63 65 20 | 20 20 20 5c 7b 20 20 20 |t brace | \{ |
|00000560| 20 20 56 65 72 74 69 63 | 61 6c 20 62 61 72 20 20 | Vertic|al bar |
|00000570| 5c 7c 0a 25 25 20 20 20 | 52 69 67 68 74 20 62 72 |\|.%% |Right br|
|00000580| 61 63 65 20 20 20 5c 7d | 20 20 20 20 20 54 69 6c |ace \}| Til|
|00000590| 64 65 20 20 20 20 20 20 | 20 20 20 5c 7e 7d 0a 25 |de | \~}.%|
|000005a0| 25 20 50 61 63 6b 61 67 | 65 20 60 74 68 65 6f 72 |% Packag|e `theor|
|000005b0| 65 6d 27 20 74 6f 20 75 | 73 65 20 77 69 74 68 20 |em' to u|se with |
|000005c0| 4c 61 54 65 58 32 65 0a | 25 25 20 43 6f 70 79 72 |LaTeX2e.|%% Copyr|
|000005d0| 69 67 68 74 20 28 43 29 | 20 31 39 38 39 2d 31 39 |ight (C)| 1989-19|
|000005e0| 39 34 20 46 72 61 6e 6b | 20 4d 69 74 74 65 6c 62 |94 Frank| Mittelb|
|000005f0| 61 63 68 2c 20 61 6c 6c | 20 72 69 67 68 74 73 20 |ach, all| rights |
|00000600| 72 65 73 65 72 76 65 64 | 2e 0a 25 25 20 46 6f 72 |reserved|..%% For|
|00000610| 20 65 72 72 6f 72 20 72 | 65 70 6f 72 74 73 20 66 | error r|eports f|
|00000620| 6f 72 20 55 4e 43 48 41 | 4e 47 45 44 20 76 65 72 |or UNCHA|NGED ver|
|00000630| 73 69 6f 6e 73 20 73 65 | 65 20 72 65 61 64 6d 65 |sions se|e readme|
|00000640| 2e 74 78 74 2e 0a 25 25 | 20 20 20 54 68 65 20 6e |.txt..%%| The n|
|00000650| 65 78 74 20 66 65 77 20 | 6c 69 6e 65 73 20 64 65 |ext few |lines de|
|00000660| 66 69 6e 65 20 74 68 65 | 6f 72 65 6d 20 73 65 74 |fine the|orem set|
|00000670| 73 20 77 68 69 63 68 20 | 61 72 65 20 75 73 65 64 |s which |are used|
|00000680| 0a 25 25 20 20 20 69 6e | 20 74 68 65 20 65 78 61 |.%% in| the exa|
|00000690| 6d 70 6c 65 20 73 65 63 | 74 69 6f 6e 20 6f 66 20 |mple sec|tion of |
|000006a0| 74 68 65 20 64 6f 63 75 | 6d 65 6e 74 61 74 69 6f |the docu|mentatio|
|000006b0| 6e 2e 0a 5c 62 65 67 69 | 6e 67 72 6f 75 70 20 5c |n..\begi|ngroup \|
|000006c0| 6d 61 6b 65 61 74 6c 65 | 74 74 65 72 0a 5c 40 69 |makeatle|tter.\@i|
|000006d0| 66 75 6e 64 65 66 69 6e | 65 64 7b 74 68 65 6f 72 |fundefin|ed{theor|
|000006e0| 65 6d 40 73 74 79 6c 65 | 7d 7b 5c 69 6e 70 75 74 |em@style|}{\input|
|000006f0| 7b 74 68 65 6f 72 65 6d | 2e 73 74 79 7d 7d 7b 7d |{theorem|.sty}}{}|
|00000700| 0a 5c 50 72 6f 76 69 64 | 65 73 46 69 6c 65 7b 74 |.\Provid|esFile{t|
|00000710| 68 6d 62 2e 73 74 79 7d | 0a 20 20 20 20 20 20 20 |hmb.sty}|. |
|00000720| 20 20 20 20 20 20 5b 5c | 66 69 6c 65 64 61 74 65 | [\|filedate|
|00000730| 5c 73 70 61 63 65 20 54 | 68 65 6f 72 65 6d 20 6c |\space T|heorem l|
|00000740| 61 79 6f 75 74 20 73 74 | 79 6c 65 20 5c 66 69 6c |ayout st|yle \fil|
|00000750| 65 76 65 72 73 69 6f 6e | 5d 0a 5c 77 6c 6f 67 7b |eversion|].\wlog{|
|00000760| 54 68 65 6f 72 65 6d 20 | 6c 61 79 6f 75 74 3a 20 |Theorem |layout: |
|00000770| 60 74 68 65 6f 72 65 6d | 2d 6d 61 72 67 69 6e 2d |`theorem|-margin-|
|00000780| 62 72 65 61 6b 27 20 5c | 66 69 6c 65 76 65 72 73 |break' \|filevers|
|00000790| 69 6f 6e 20 5c 73 70 61 | 63 65 0a 20 20 20 20 20 |ion \spa|ce. |
|000007a0| 20 20 20 20 3c 5c 66 69 | 6c 65 64 61 74 65 3e 20 | <\fi|ledate> |
|000007b0| 20 28 46 4d 69 29 7d 0a | 5c 67 64 65 66 5c 74 68 | (FMi)}.|\gdef\th|
|000007c0| 40 6d 61 72 67 69 6e 62 | 72 65 61 6b 7b 5c 6e 6f |@marginb|reak{\no|
|000007d0| 72 6d 61 6c 66 6f 6e 74 | 5c 73 6c 73 68 61 70 65 |rmalfont|\slshape|
|000007e0| 0a 20 20 5c 64 65 66 5c | 40 62 65 67 69 6e 74 68 |. \def\|@beginth|
|000007f0| 65 6f 72 65 6d 23 23 31 | 23 23 32 7b 5c 69 74 65 |eorem##1|##2{\ite|
|00000800| 6d 0a 20 20 20 20 20 20 | 20 5b 5c 72 6c 61 70 7b |m. | [\rlap{|
|00000810| 5c 76 62 6f 78 7b 5c 74 | 68 65 6f 72 65 6d 40 68 |\vbox{\t|heorem@h|
|00000820| 65 61 64 65 72 66 6f 6e | 74 0a 20 20 20 20 20 20 |eaderfon|t. |
|00000830| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 5c 68 | | \h|
|00000840| 62 6f 78 7b 5c 6c 6c 61 | 70 7b 23 23 32 7d 5c 68 |box{\lla|p{##2}\h|
|00000850| 73 6b 69 70 5c 6c 61 62 | 65 6c 73 65 70 20 23 23 |skip\lab|elsep ##|
|00000860| 31 7d 25 0a 20 20 20 20 | 20 20 20 20 20 20 20 20 |1}%. | |
|00000870| 20 20 20 20 20 20 20 20 | 5c 68 62 6f 78 7b 5c 73 | |\hbox{\s|
|00000880| 74 72 75 74 7d 7d 7d 5d | 7d 25 0a 5c 64 65 66 5c |trut}}}]|}%.\def\|
|00000890| 40 6f 70 61 72 67 62 65 | 67 69 6e 74 68 65 6f 72 |@opargbe|gintheor|
|000008a0| 65 6d 23 23 31 23 23 32 | 23 23 33 7b 25 0a 20 20 |em##1##2|##3{%. |
|000008b0| 5c 69 74 65 6d 5b 5c 72 | 6c 61 70 7b 5c 76 62 6f |\item[\r|lap{\vbo|
|000008c0| 78 7b 5c 74 68 65 6f 72 | 65 6d 40 68 65 61 64 65 |x{\theor|em@heade|
|000008d0| 72 66 6f 6e 74 0a 20 20 | 20 20 20 20 20 20 20 20 |rfont. | |
|000008e0| 20 20 20 20 20 20 20 20 | 20 20 5c 68 62 6f 78 7b | | \hbox{|
|000008f0| 5c 6c 6c 61 70 7b 23 23 | 32 7d 5c 68 73 6b 69 70 |\llap{##|2}\hskip|
|00000900| 5c 6c 61 62 65 6c 73 65 | 70 20 23 23 31 5c 20 28 |\labelse|p ##1\ (|
|00000910| 23 23 33 29 7d 25 0a 20 | 20 20 20 20 20 20 20 20 |##3)}%. | |
|00000920| 20 20 20 20 20 20 20 20 | 20 20 20 5c 68 62 6f 78 | | \hbox|
|00000930| 7b 5c 73 74 72 75 74 7d | 7d 7d 5d 7d 7d 0a 5c 65 |{\strut}|}}]}}.\e|
|00000940| 6e 64 67 72 6f 75 70 0a | 5c 65 6e 64 69 6e 70 75 |ndgroup.|\endinpu|
|00000950| 74 0a 25 25 20 45 6e 64 | 20 6f 66 20 66 69 6c 65 |t.%% End| of file|
|00000960| 20 60 74 68 6d 62 2e 73 | 74 79 27 2e 0a | `thmb.s|ty'.. |
+--------+-------------------------+-------------------------+--------+--------+